Coal Power — My Life Work —

History of my life and work

■ Born in Indonesia in 1930, as a small child I already exhibited an interest in animals, perhaps stimulated by my first conscious observation. When I was 3 or 4 years old our gardener unearthed a nest of young black snakes, then told me to leave. So at my 6th birthday my parents presented me with Huey’s book De dierenwereld in een notedop 1935. This book became my bible and determined my futur...

My Life

Description of My Previous Work

Today, advanced technological products often employ information and communication technology to enhance their functionality and quality. Therefore, nowadays software plays an important role in the control of many technical systems such as electrical and mechanical devices, technical processes in the chemical industry, or a modern automobile. In the future, software-intensive systems are in addi...

Themes in My Philosophical Work

This paper is an overview of my philosophical work. It follows closely the structure of the handout I used as the basis for a talk on this topic at the 2000 meeting of the Austro-Slovene Philosophical Association. The section-headings mention major themes, and various key concepts are indicated by boldface terms in the text. I invoked the notion of supervenience in my doctoral dissertation, Mic...

My Current Work on CertiKOS

My research goal is to make critical software systems truly reliable and secure through formal verification. As the backbone of modern software systems, operating system (OS) kernels have great impacts on the reliability and security of today’s computing hosts. OS kernels, however, are complicated, highly concurrent, and prone to bugs. For the past several years, my research has focused on inve...